Order:
  1.  21
    Positive Monotone Modal Logic.Jim de Groot - 2021 - Studia Logica 109 (4):829-857.
    Positive monotone modal logic is the negation- and implication-free fragment of monotone modal logic, i.e., the fragment with connectives and. We axiomatise positive monotone modal logic, give monotone neighbourhood semantics based on posets, and prove soundness and completeness. The latter follows from the main result of this paper: a duality between so-called \-spaces and the algebraic semantics of positive monotone modal logic. The main technical tool is the use of coalgebra.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  18
    Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.
  3.  20
    Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot & Dirk Pattinson - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.Jim de Groot - 2022 - Studia Logica 110 (3):717-743.
    We investigate bisimulations for instantial neighbourhood logic and an \-indexed collection of its fragments. For each of these logics we give a Hennessy-Milner theorem and a Van Benthem-style characterisation theorem.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark